Books by author Andreas Podelski

Showing 1 – 6 out of 6 results

1. 

   Verified Software: Theories, Tools, Experiments

   Rajeev Joshi, Peter Müller, Andreas Podelski | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   55.88 €

   Buy
2. 

   Static Analysis

   Andreas Podelski | Springer International Publishing AG, 2018

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
3. 

   Networked Systems

   Andreas Podelski, François Ta?ani | Springer Nature Switzerland AG, 2019

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
4. 

   Verification, Model Checking, and Abstract Interpretation

   Byron Cook, Andreas Podelski | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
5. 

   Constraint Programming: Basics and Trends

   Andreas Podelski | Springer, Berlin, 1995

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
6. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Kurt Jensen, Andreas Podelski | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.69 €

   Sale 7 %

   You save 8.60 €

   Buy

We send books in special cardboard delivery boxes. Find out more